Computer - PDFSEARCH.IO - Document Search Engine

Computer
Results: 301026

#	Item
121	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
122	Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Computing Application software Computer science Machine learning Conditional random field Symposium on Principles of Programming Languages Programming Language Design and Implementation R Structured prediction
123	GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2018-04-09 22:53:03 Algebra Mathematics Computational linguistics Linear algebra Natural language processing Artificial neural networks Machine learning Word2vec Word embedding Latent semantic analysis Vector space model GloVe
124	Curriculum Vitae — Computer Science Ian Glen Neal (+ Education Add to Reading List Source URL: about.iangneal.io Language: English - Date: 2018-10-04 15:10:51 Computing Free software Data management Embedded databases OpenLDAP File system Operating system Verilog SQLite Systems engineering Processor design
125	SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-04-10 06:51:54 Security engineering Electromagnetism Computer engineering Computer science Electrical engineering Electronic engineering Computer security Computing Carnegie Mellon School of Computer Science University of Colombo School of Computing
126	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
127	EECS 388 Intro to Computer Security October 14, 2016 Project 3: Network Security Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2016-11-21 18:50:22 Computing Software System software Computer network security Wireless networking IEEE 802.11 Web scraping Wireshark Pcap Aircrack-ng Packet analyzer Transmission Control Protocol
128	Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-05-02 19:51:01 Mathematics Algebra Equations Linear algebra Monomial Ordinary differential equations Recurrence relation Equation solving Elementary algebra Equation System of linear equations Algebraic curve
129	Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Computer science Formal methods Computing Logic in computer science European Joint Conferences on Theory and Practice of Software Computer Aided Verification Software verification Formal verification Edmund M. Clarke Satisfiability modulo theories Verification
130	Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Theoretical computer science Theory of computation Computability theory Mathematics Turing machine Alan Turing Models of computation Ambient calculus Turing completeness Halting problem Computability Reduction

UPDATE